Immediate Diagnosis of Faulty Behaviours with Petri Net Models
نویسنده
چکیده
This paper is about fault detection and isolation for discrete event systems modeled with Petri nets. Faults are represented with failure transitions and a faulty behaviour occurs when a sequence of transitions is fired that contains at least one failure transition. The main contribution is to provide necessary and sufficient conditions to be satisfied by a given set of observable places for immediate detection and isolation of faulty behaviours. The diagnosis is immediate in the sense that the unsuitable behaviours are detected and isolated immediately after the occurrence of the faults and before the occurrence of any other event. Copyright ©2005 IFAC
منابع مشابه
Diagnosis with Causality Relationships and Directed Paths in Pn Models
Petri nets are a suitable tool for the diagnosis of discrete event systems. For this purpose, faulty behaviours are modelled by the firing of failure transitions. This paper is about structural sensitivity in Petri net with respect to the firing of the failure transitions. Algebraic results are provided to characterise the influence and dependence areas of the failure transitions and diagnosabi...
متن کاملPetri nets design based on neural networks
Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed according to alarm propagation. This paper deals with Petri net models synthesis and identification based on neural network approaches, with regard to event propagation and to state propagation dataset. A learning neura...
متن کاملUnfolding-Based Diagnosis of Systems with an Evolving Topology
We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-based diagnosis is aimed at constructing explanations of observed faulty behaviours on the basis of a given model of the system. Since the number of possible explanations may be huge we exploit the unfolding as a compact data stru...
متن کاملDeterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کامل